Philosophie Lexikon der ArgumenteHome | |||
| |||
Logische Wahrheit: eine Aussage ist logisch wahr, wenn sie allein aufgrund ihrer Form wahr ist. Diese Feststellung ist jedoch nicht absolut, da die logische Wahrheit auch von anderen Faktoren wie z.B. der Reichhaltigkeit der Objektsprache abhängen kann._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
John Bigelow über Logische Wahrheit – Lexikon der Argumente
I 132 Logische Wahrheit/Bigelow/Pargetter: Problem: logische und nichtlogische Wahrheiten sind nicht leicht auseinanderzuhalten. Bsp Man könnte einfach a zu den Axiomen hinzufügen, Dann wäre Na ein Theorem! (Wegen der Regel der Notwendigmachung, Necessitation, s.o.). Problem: Die Wahrheit von „a“ hängt letztlich von unserer Interpretation der Prädikate ab. >Interpretation, >Bewertung, >Prädikate. Theoreme: Theoreme bleiben dagegen bei jeder Interpretation wahr. Bei ihnen kommt es nur auf die Interpretation der anderen Symbole (nicht der Namen und Prädikate) an. >Variablen, >Symbole, >Logische Konstanten. Logische Wahrheit/Bigelow/Pargetter: kann auf zwei Weisen charakterisiert werden a) axiomatisch (wahr aus der Liste der Axiome heraus). b) semantisch. (wahr durch Interpretation der logischen Symbole). >Axiome, >Axiomensysteme, >Semantik._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990 |